set JEDIT_HOME=..\_software

jar -cf jason-jedit-plugin.jar dist.properties -C bin images -C bin jason -C bin templates -C bin xml -C src\jeditPlugin xmode.dtd -C src\jeditPlugin index.html -C src\jeditPlugin Jason.props -C src\jeditPlugin actions.xml -C src\jeditPlugin dockables.xml -C src\jeditPlugin services.xml
move /Y jason-jedit-plugin.jar "%JEDIT_HOME%\bin\jedit\jars\jason-jedit-plugin.jar"
